OCL相关论文
由于和现有的应用的兼容性好,功能强大,拥有成熟的理论基础支持等等诸多因素,目前关系数据库仍然是大多数面向对象应用持久数据层......
随着软件规模和复杂度不断增大,传统的软件开发模式面临着巨大的挑战,出现了新一轮的“软件危机”,解决这个问题行之有效的途径就......
UML是一种通用的可视化建模语言,用于对软件进行描述、可视化处理、构建软件系统的文档。作为UML标准的一部分,对象约束语言(Object ......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
在电力系统规划环节中,为了进一步满足仿真操控程序Oracle数据库内部的存取速率提升目标,设计人员决定利用OCL技术进行机理协调管......
通过对一种典型OCL电路的原理进行讲解,和对九种电路调试中出现的故障进行列举,通过各种检查过程、分析并得出结论来排除电路故障,通......
采用形式化方法对软件模型进行自动验证在模型驱动架构开发方法中发挥重要的作用.本文提出一种对面向对象软件设计模型的静态结构进......
模型转换语言是实施MDA的关键,在整个MDA体系中必须要有明确完备的转换语言。首先对模型转换语言的特性和现有的主要模型转换语言进......
Alloy是一种具有简洁语法结构的形式语言(formal language),它能够对众多不同类型的系统建模、规范并进行自动化分析。而作为半形式语......
尤记儿时,在古城墙下的电器摊上,第一次从耳机中听到电台播放的美妙音乐时,那种不可言状的喜悦,虽已过去了半个世纪,仍历历在目。从此,耳......
组织模型不仅要支持传统的纵向的组织结构,而且还要支持以团队方式工作的横向组织结构。本文提出了包含组织纵向和横向结构的组织元......
元建模发生在模型驱动架构中的元元模型、元模型和模型层中,传统的元建模采用统一建模语言UML描述。但是实践证明,UML无法提供与对象......
UML是目前广泛使用的标准的面向对象建模语言.为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言......
随着基于模型的软件工程方法的兴起,模型逐渐地变为软件工程中的重要元素,介绍了OMG规范MOF、XMI和OCL及在Eclipse软件工程环境下的......
本文介绍一种带自举作用的新颖OCL功放电路,其电路原理如附图所示.电路主体由靓声运放NE5532与末级的两只TIP3055组成.BG1、R4、R5......
文章对制约集成运算放大器应用于OCL功放电路中的原因进行了讨论和分析,介绍了一种在OCL功率放大电路中应用运算放大器的新方案,并......
今天为大家介绍一套采用TDA2030A制作的功放,并提供相应的制作套件,让大家有更多动手制作的机会。TDA2030A是目前性价比最高的功放......
期刊
基于角色的访问控制模型(RBAC)凭借其灵活的授权机制、强大的管理功能和完善的安全策略越来越引起人们的研究兴趣,随着研究的不断深......
在对企业人力资源信息进行本体论建模的基础上引入OCL约束,一方面消除了单纯使用本体描述语言时存在的不足.弥补了本体论建模时可能......
将MDA中模型驱动的软件代码自动化生成思想应用于模型驱动的软件测试用例自动化生成。从UML/OCL模型出发,采用缺陷测试理论、变异分......
面向对象的数据库开发框架对大型数据库应用的开发有重要作用,本文首先介绍了面向数据库开发框架的基本要求,然后介绍了UML对面向......
UML被MDA用来描述各种模型,成为建模语言事实上的标准。但是,由于UML类图中缺少对关系数据库的实现的约束,使得类图转换到的关系数据......
面向对象的软件测试应该也只能被设计所指导。提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种......
接触网正馈线是保障接触网可靠性的重要结构。以武汉天兴洲大桥为例,分析公铁两用钢桁梁桥正馈线故障特点,指出其根本原因是钢桁梁......
高速铁路的特殊运营环境要求牵引供电系统中无备用的接触网系统在服役期间高安全、高可靠。本文基于在试验过程中发现试制样件在批......
针对现有的长大坡道段接触网中心锚结位置计算方法存在计算精度偏低和缺少中心锚结线夹位置计算方法这两方面的不足,通过引入线路......
概念模型元素及其关系是军事建模过程中的一个重要环节。目前军事概念模型的研究对模型元素关系的描述不够细化。从军事系统的概念......
基于角色的访问控制(Role-Based Access Control,RBAC)是根据用户角色确定访问权限,防止未经授权的用户访问信息资源。目前。尽管有......
AOP在打破实体封装性和表达横切实体间的非功能性需求的能力上得到了广泛地认可,并在越来越多的实际项目中获得成功。然而文献[1]模......
为了满足电力系统仿真软件中的Oracle数据库对数据快速存取的要求,提出了一种基于OCL(Oracle Class Library)技术访问Oracle数据库的......
介绍了对象约束语言OCL(object constraint language)的概念、特性。分析了OCL元模型与UML元模型间的关系,在此基础上对OCL在EMDA(mode......
在《电子制作》2000年第9期上卢涛给大家介绍用LM386制作OTL功放。LM386还可制作成OCL功放,即没有输出电容的功率放大器。其功率......
将集合关系理论与本体模型相结合,同时引入并扩展面向对象中的OCL(Object Constraint Language)语言,提出一种基于OCL的本体校验方......
首先,用统一建模语言(UML)中的状态图描述系统在整个活动周期中所处的不同的状态,活动图表示状态图中每个进程的功能,对象约束语言......
<正> 本文运用《模拟电子技术基础》课的基本知识,着重介绍电路设计与制做的常用步骤和方法,供学生进行课程设计时参考。一、设计......
该文介绍了形式化方法中B语言和UML/OCL语言,从软件开发生命周期的角度对B语言和OCL语言进行了比较,归纳了这两种形式化语言的异同和......
随着模型驱动技术的重要性与日俱增,一系列基于模型的软件开发策略也日益被提出.提出一种模型驱动的原型生成方法,即从包含类模型......
为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法.提出了一种基于模型转换实现行为协议的方法,编写了模......
从基于模型的规格说明中。应用形式化方法可以产生所需的测试用例。为了从静态模型中表达的形式化约束产生测试用例,本文阐述了一种......
软件测试作为软件开发过程的重要环节,是保证软件质量,提高软件可靠性的重要手段。软件开发技术的发展,也必然会带动软件测试技术的发......
随着科学技术的发展,软件工程开始广泛运用于各行各业中,比如说在机械设备上运用软件工程来改进机械。软件工程自20世纪60年代产生......
旋转变压器有足够大的激磁信号才能得到较高的位置精度,而解码芯片提供的激磁信号较小,因此需要设计放大电路对激磁信号进行放大。......